路径一致性：在约束满足问题（CSP）中，一种约束传播/推理性质与算法思想，指对任意三个变量 (X, Y, Z)，若 (X) 与 (Y) 的某个取值对是允许的，那么它应当能通过 (Z) 找到支持（与 (Z) 的取值兼容），使得三者相关约束同时可满足。常用于改进求解效率、减少搜索空间。
（在更一般语境里也可理解为“路径上的一致/一致性”，但该术语最常见于AI与约束编程。）
/pæθ kənˈsɪstənsi/
Path consistency can prune many impossible value pairs before search begins.
路径一致性可以在搜索开始前剪枝掉许多不可能的取值对。
To solve the scheduling problem efficiently, the solver enforces arc consistency first and then strengthens it with path consistency to eliminate hidden conflicts.
为高效求解排程问题，求解器先施加弧一致性，再用路径一致性加强推理，从而消除隐藏的冲突。
该术语由 path（路径） 与 consistency（一致性） 组合而成：在约束网络中，“路径”强调通过第三个变量（形成长度为2的路径 (X \rightarrow Z \rightarrow Y)）来检验并强化 (X) 与 (Y) 的相容性；“一致性”则表示约束体系内部不自相矛盾、可被同时满足的程度。该用法在人工智能的约束推理与约束编程文献中逐渐固定下来。
Select Language